1054 search results - page 54 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
152
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
148
click to vote
WSC
1998
15 years 5 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
121
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
121
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Insertions and deletions (indels) represent a common type of sequence variations, which are less studied and pose many important biological questions. Recent research ...
129
click to vote
JAR
2008
15 years 3 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...