3024 search results - page 476 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
170
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
159
click to vote
ECMDAFA
2009
Springer
15 years 9 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
194
click to vote
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
133
click to vote
ANCS
2006
ACM
15 years 9 months ago
2006
ACM
As Intrusion Detection Systems (IDS) utilize more complex syntax to efficiently describe complex attacks, their processing requirements increase rapidly. Hardware and, even more, ...
159
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...