4135 search results - page 657 / 827 » Application Modeling for the Semantic Web |
132
click to vote
ISSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
148
click to vote
ESAW
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems. This approach relies on a fe...
129
click to vote
WOA
2001
15 years 6 months ago
2001
This paper proposes a coordination model, for both nd mobile agents, based on abstract structures called Communicators, entities which handle agent dialogue performed through ACL ...
137
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
153
click to vote
WIMOB
2007
IEEE
15 years 11 months ago
2007
IEEE
Service discovery in mobile ad hoc networks (MANETs) is an integral part for collective application interoperability. The discovery process must cope not only with transient commun...