4890 search results - page 455 / 978 » From system specifications to component behavioral models |
207
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
177
click to vote
SAINT
2003
IEEE
16 years 13 days ago
2003
IEEE
The problem of identifying patterns from system call trails of UNIX processes to better model application behavior has been investigated intensively. Most existing approaches focu...
193
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The study of networked systems is an emerging field, impacting almost every area of engineering and science, including the important domains of communication systems, biology, soc...
199
click to vote
COMPUTER
2006
15 years 7 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
185
click to vote
HICSS
2010
IEEE
16 years 4 hour ago
2010
IEEE
While many theoretical arguments against or in favor of open source and closed source software development have been presented, the empirical basis for the assessment of arguments...