525 search results - page 34 / 105 » Systems Development Using Z Generics |
TSE
2008
13 years 7 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
ERCIMDL
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. This paper examines technology developed to support largescale distributed digital libraries. We describe the method used for harvesting collection information using stan...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Server page technique is commonly used for implementing web application user interfaces. Server pages can represent many similar web pages in a generic form. Yet our previous stud...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
Many Knowledge workers are increasingly using online resources to find out latest developments in their specialty and articles of interest. To extract relevant information from s...
AAMAS
2007
Springer
13 years 7 months ago
2007
Springer
A component-based generic agent architecture for multi-attribute (integrative) negotiation is introduced and its application is described in a prototype system for negotiation abo...