826 search results - page 106 / 166 » Resolving Concurrent Interactions |
114
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
126
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
142
click to vote
CBSE
2005
Springer
15 years 8 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
NORDICHI
2004
ACM
15 years 8 months ago
2004
ACM
Two studies on how to support communication between grandparents and grandchildren are presented. The first study, an interview with 12 parents, investigates the conversation betw...
107
click to vote
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...