1676 search results - page 80 / 336 » Formal System Development with KIV |
148
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
159
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
152
click to vote
RSP
1998
IEEE
15 years 8 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
290
click to vote
AMCS
2011
14 years 11 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
152
click to vote
CI
1999
15 years 4 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...