MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Calendar Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Calendar Logic  
  • by Hans Jürgen Ohlbach
  • … Chapter 19 Calendar Logic Hans J"urgen Ohlbach 1 2 CHAPTER 19. CALENDAR LOGIC Contents 19…
  • Cited by 17 (5 self) – Add To MetaCart
  • LTL over integer periodicity constraints  
  • by Stéphane Demri — 2004 — Proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), volume 2987 of LNCS
  • …. Periodicity constraints are used in many logical formalisms, in fragments of Presburger LTL, in calendar…
  • Cited by 5 (1 self) – Add To MetaCart
  • Validating Year 2000 Compliance  
  • by A. Van Deursen, P. Klint, A. Sellink, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Arie Van Deursen, Paul Klint, Alex Sellink — 1997
  • … and date values. Calculations and logic include #but are not limited to# sort algorithms, calendar…
  • Cited by 3 (3 self) – Add To MetaCart
  • On the Modelling and Analysis of Regulations  
  • by Grigoris Antoniou, G. Antoniou, David Billington, Guido Governatori, Michael Maher — 1999 — In Proceedings of the Australian Conference on Information Systems
  • … at providing automated support for the drafting and use of regulations using logic modelling techniques. We…
  • Cited by 9 (7 self) – Add To MetaCart
  • Acknowledgment  
  • by Prof N. L. Sarda
  • … table is essential.Calendar logic should belong in Dimension table, rather than in application code…
  • Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB