6306 search results - page 309 / 1262 » Space, Time, and the Use of Language |
218
click to vote
ICLP
2003
Springer
16 years 19 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
194
Voted
COMPSAC
2010
IEEE
15 years 5 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...
215
Voted
CBMS
2006
IEEE
16 years 1 months ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
234
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
169
Voted
EPEW
2005
Springer
16 years 29 days ago
2005
Springer
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...