10159 search results - page 238 / 2032 » System Design Validation Using Formal Models |
137
click to vote
ROBOCUP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
154
click to vote
ISEMANTICS
2010
15 years 1 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
117
click to vote
CAISE
2001
Springer
15 years 7 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
127
click to vote
FORTE
2004
15 years 4 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
124
click to vote
ICPP
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, Bloom filters have been widely used in distributed systems where they are replicated to process distributed queries. Bloom filter replicas become stale in a dynamic en...