Sciweavers

6800 search results - page 497 / 1360
» Testing with Functions as Specifications
Sort
View
MM
2006
ACM
134views Multimedia» more  MM 2006»
16 years 1 months ago
Autonomous light air vessels (ALAVs)
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...
Jed Berk, Nikhil Mitter
ICDCS
2000
IEEE
16 years 3 days ago
Quartz: A QoS Architecture for Open Systems
This paper describes an architecture that provides support for quality of service (QoS) specification and enforcement in heterogeneous distributed computing systems. The Quartz Qo...
Frank Siqueira, Vinny Cahill
ISSRE
2000
IEEE
16 years 2 days ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
235
Voted
ICFEM
1997
Springer
15 years 12 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
CSCW
1992
ACM
15 years 11 months ago
CSCW Challenges in Large-Scale Technical Projects - A Case Study
This paper investigates CSCW aspects of large-scale technical projects based on a case study of a specific Danish engineering company and uncovers challenges to CSCW applications ...
Kaj Grønbæk, Morten Kyng, Preben Moge...