621 search results - page 12 / 125 » Applying Prolog to Develop Distributed Systems |
CIKM
2001
Springer
14 years 4 days ago
2001
Springer
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
BIRTHDAY
2004
Springer
13 years 11 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
EUC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we have developed a method for an efficient Quality-ofService provision and adaptation in dynamic, heterogeneous systems, based on our Matrix framework for...