1323 search results - page 13 / 265 » Extended Modeling Languages for Interaction Protocol Design |
104
click to vote
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
WORDS
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
BIS
2009
14 years 9 months ago
2009
Despite many works in CSCW, groupware, workflow systems and social networks, computer support for human-to-human interactions is still insufficient, especially support for agility,...
105
click to vote
DAC
2004
ACM
15 years 5 months ago
2004
ACM
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....
ECTEL
2007
Springer
15 years 5 months ago
2007
Springer
Search engine-based features are a basic interaction mean for users to find information inside a Web-based Learning Management Systems (LMS); nonetheless, traditional solutions la...