683 search results - page 66 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
144
click to vote
CMSB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
130
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
150
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
139
click to vote
WWW
2006
ACM
15 years 10 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
129
click to vote
AIEDAM
1999
15 years 4 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...