1086 search results - page 146 / 218 » Event Structures with Symmetry |
FIDJI
2003
Springer
14 years 3 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
ICDCS
2002
IEEE
14 years 3 months ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
Computer mediated communication (CMC) systems are providing new ways to communicate. Yet many text-based CMC systems do not represent the invisible, interactive practices, such as...
ITICSE
2000
ACM
14 years 2 months ago
2000
ACM
We describe a Java toolkit that is designed to support the creation of powerful and extensible GUI interfaces during the first year computer science course. The goals of this tool...
ASM
2000
ASM
14 years 2 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...