909 search results - page 84 / 182 » Temporal Logic Case Study |
FMOODS
2003
13 years 10 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
ENTCS
2007
13 years 9 months ago
2007
This paper relates on a first attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. B...
KCAP
2003
ACM
14 years 2 months ago
2003
ACM
Because it is difficult to engineer a complex ontology with time, we here consider a method that allows for factorizing the complexity of the engineering process, FONTE (Factoriz...
COMPSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...