155 search results - page 11 / 31 » Vicinity Respecting Homomorphisms for Abstracting System Req... |
DATE
2010
IEEE
14 years 27 days ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
PERCOM
2009
ACM
14 years 9 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
CSL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
WORDS
2003
IEEE
14 years 1 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Different geographic routing protocols have different requirements on routing metric designs to ensure proper operation. Combining a wrong type of routing metric with a ...