1661 search results - page 165 / 333 » Real-time specification patterns |
126
Voted
RSP
1998
IEEE
15 years 6 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...
126
Voted
BIRTHDAY
2007
Springer
15 years 5 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
EACL
2006
ACL Anthology
15 years 3 months ago
2006
ACL Anthology
GOD (General Ontology Discovery) is an unsupervised system to extract semantic relations among domain specific entities and concepts from texts. Operationally, it acts as a search...
141
Voted
JSW
2006
15 years 1 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
106
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
Recent research in e-contracts is concerned with the development of frameworks and tools to support contracts. EREC framework is one that enables modelling and deployment of e-con...