261 search results - page 14 / 53 » MESA: Support for Scenario-Based Design of Concurrent System... |
B
2007
Springer
14 years 23 days ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
ECOOP
1994
Springer
14 years 26 days ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Clustering system is getting popular in various application areas because of its cost-effectiveness. In this paper, we introduce the CROWN (Clustering Resources on Workstations’...
EWHCI
1993
14 years 26 days ago
1993
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...