5599 search results - page 133 / 1120 » Abstract State Services |
115
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
128
Voted
KIVS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Today we see more and more services being brought to connected homes, such as entertainment or home automation. These services are published and operated by a variety of ...
97
Voted
CICLING
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
143
Voted
ACIVS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...