4350 search results - page 275 / 870 » Case studies for contract-based systems |
174
click to vote
DEDS
2002
15 years 6 months ago
2002
Recent study for congestion control in high speed networks indicates that the derivative information for the congestion at the common buffer for multiple sources could be useful i...
168
click to vote
SAJ
2000
15 years 6 months ago
2000
Tertiary institutions in South Africa are faced with dealing with diversity in all its forms in our classrooms. Information Systems, Information Technology and Computer Science st...
160
click to vote
ICTAC
2004
Springer
16 years 20 hour ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
190
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
153
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Ontology-based applications play an increasingly important role in the public and corporate Semantic Web. While today there exist a range of tools and technologies to support speci...