10 search results - page 2 / 2 » Lightweight object specification with typestates |
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
KCAP
2005
ACM
13 years 11 months ago
2005
ACM
In this document, we describe a light-weighted ontology mediation method that allows users to send semantic queries to distant data repositories to browse for learning object meta...
FORMATS
2007
Springer
13 years 9 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
VRML
1995
ACM
13 years 9 months ago
1995
ACM
Virtual environments (VEs) are a broad multidisciplinary research area that includes all aspects of computer science, virtual reality, virtual worlds, teleoperation and telepresenc...
BMCBI
2010
13 years 5 months ago
2010
Background: The quality of automated gene prediction in microbial organisms has improved steadily over the past decade, but there is still room for improvement. Increasing the num...