1239 search results - page 152 / 248 » Applying Model Checking to Concurrent UML Models |
ICSE
1997
IEEE-ACM
14 years 1 months ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
PRDC
2002
IEEE
14 years 2 months ago
2002
IEEE
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
DATE
2004
IEEE
14 years 25 days ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...