Sciweavers

8780 search results - page 1422 / 1756
» On the Feasibility of Consistent Computations
Sort
View
WS
2004
ACM
16 years 5 days ago
JANUS: towards robust and malicious resilient routing in hybrid wireless networks
In this paper we investigate and provide solutions for security threats in the context of hybrid networks consisting of a cellular base station and mobile devices equipped with du...
Bogdan Carbunar, Ioannis Ioannidis, Cristina Nita-...
ATAL
2004
Springer
16 years 4 days ago
Agent Community Based Peer-to-Peer Information Retrieval
This paper proposes an Agent Community based Peer-toPeer information retrieval method called ACP2P method, which uses agent communities to manage and look up information related t...
Tsunenori Mine, Daisuke Matsuno, Koichiro Takaki, ...
CAISE
2004
Springer
16 years 4 days ago
Ranked Matching for Service Descriptions using DAML-S
Abstract. The vision of Semantic Web services is that computer systems shall find eligible services autonomously. This can be realised with providing semantic description about ad...
Michael C. Jaeger, Stefan Tang
CAISE
2004
Springer
16 years 4 days ago
Towards Computer-aided Design of OCL Constraints
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil
CMSB
2004
Springer
16 years 4 days ago
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
Jasmin Fisher, David Harel, E. Jane Albert Hubbard...
« Prev « First page 1422 / 1756 Last » Next »