2291 search results - page 356 / 459 » Logic Programming and Model Checking |
ECOOP
2010
Springer
14 years 17 days ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
JTRES
2009
ACM
14 years 13 days ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
SECON
2007
IEEE
14 years 2 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
ER
2004
Springer
14 years 1 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...