7080 search results - page 283 / 1416 » Designing High Integrity Systems Using Aspects |
115
click to vote
GROUP
1999
ACM
15 years 7 months ago
1999
ACM
Many object-oriented toolkits and frameworks for groupware development provide shared objects as a basic service. This relieves developers of a lot of problems originating from th...
120
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
144
click to vote
ECIS
2003
15 years 4 months ago
2003
For a successful information systems architecture management, reference models and decision rules must be provided. In this paper, an architecture model and design rules are propo...
278
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
174
Voted
EUROSSC
2010
Springer
15 years 1 months ago
2010
Springer
Smart homes have a user centered design that makes human activity as the most important type of context to adapt the environment according to people's needs. Sensor systems th...