3828 search results - page 247 / 766 » Proof-Based System Engineering Using a Virtual System Model |
199
click to vote
DKE
2010
15 years 6 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
161
click to vote
MODELS
2007
Springer
16 years 20 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
182
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...
158
click to vote
ICSE
1987
IEEE-ACM
15 years 10 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
186
click to vote
ISORC
2007
IEEE
16 years 24 days ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...