2682 search results - page 287 / 537 » An Iterative-Cyclic Software Process Model |
181
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
226
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
220
click to vote
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
202
click to vote
ISCC
2008
IEEE
16 years 1 months ago
2008
IEEE
: Owing to the recent technical advances in the computing and mobile communications domain, the world of online virtual communities is experiencing a phenomenal growth and ever-inc...
167
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...