261 search results - page 14 / 53 » MESA: Support for Scenario-Based Design of Concurrent System... |
168
click to vote
B
2007
Springer
15 years 3 months 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
15 years 3 months 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...
125
click to vote
SIGSOFT
2007
ACM
16 years 14 days 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
15 years 4 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’...
86
Voted
EWHCI
1993
15 years 3 months 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...