446 search results - page 79 / 90 » LTS semantics for use case models |
70
Voted
WECWIS
2005
IEEE
15 years 3 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
ASWC
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Developing ontologies is not an easy task and often the resulting ontologies are not consistent or complete. Such ontologies, although often useful, also lead to problems...
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
RTSS
2007
IEEE
15 years 3 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
77
Voted
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...