3837 search results - page 549 / 768 » Concurrent Engineering support in Software Engineering |
137
Voted
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
139
Voted
HPCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...
130
Voted
FASE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We study resource management in distributed systems. Incorrect handling of resources may lead to deadlocks, missed deadlines, priority inversions, and other forms of inco...
132
Voted
FASE
2006
Springer
15 years 7 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
120
Voted
AVI
2008
15 years 6 months ago
2008
As information environments grow in complexity, we yearn for simple interfaces that streamline human cognition and effort. Users need to perform complex operations on thousands of...