8627 search results - page 1598 / 1726 » Software Engineering Using RATionale |
168
click to vote
COMSWARE
2007
IEEE
16 years 21 days ago
2007
IEEE
—This paper deals with the topology formation schemes in the IEEE 802.11 based wireless mesh network. The recent standardization effort for specifying a wireless distribution sys...
141
click to vote
ATAL
2007
Springer
16 years 19 days ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
219
click to vote
ATC
2007
Springer
16 years 19 days ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
152
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
152
click to vote
FOSSACS
2007
Springer
16 years 18 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...