10159 search results - page 169 / 2032 » System Design Validation Using Formal Models |
125
click to vote
SOCO
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
122
click to vote
ANSS
2000
IEEE
15 years 7 months ago
2000
IEEE
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of th...
140
Voted
ER
2008
Springer
15 years 4 months ago
2008
Springer
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
128
Voted
VIROLOGY
2008
15 years 2 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
125
Voted
ACL
2011
14 years 6 months ago
2011
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...