3765 search results - page 440 / 753 » Formal Methods for Systems Engineering Behavior Models |
173
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
182
click to vote
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
: This paper presents a demand-based engineering method for designing radio networks of cellularmobile communicationsystems. The proposed procedure is based on a forward-engineerin...
180
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
140
click to vote
IEAAIE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
184
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The goal of this paper is to explore the effects of synchronization on distributed decision making processes. In particular, we examine the dynamics of a spatially distributed mul...