1366 search results - page 179 / 274 » Modularizing Contexted Constraints |
139
click to vote
BROADNETS
2006
IEEE
15 years 6 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
144
click to vote
CASES
2006
ACM
15 years 6 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
133
click to vote
DFG
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
181
click to vote
OOPSLA
1995
Springer
15 years 6 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
160
click to vote
BXML
2003
15 years 4 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...