2127 search results - page 371 / 426 » Software Automation |
PPSWR
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
XML has become the standard platform for structured data exchange on the Web. Next concern of Semantic Web is the exchange of rules in markup language form. The rules should be re...
LCN
2003
IEEE
14 years 3 months ago
2003
IEEE
Studies of mobile ad-hoc networks are often based on simulation and their underlying, necessarily simplified assumptions of physical reality. In order to analyse the practical pro...