1001 search results - page 112 / 201 » Generating Application-Specific Benchmark Models for Complex... |
EMISA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract: Enterprises are socio technical systems whose management involves multiple stakeholders each demanding for a distinct perspective on the enterprise. A large number of mod...
AI
2004
Springer
13 years 8 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
ECRTS
2006
IEEE
14 years 2 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...
ISPASS
2007
IEEE
14 years 2 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
RE
2002
Springer
13 years 7 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...