Sciweavers

1346 search results - page 131 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
TAICPART
2006
IEEE
144views Education» more  TAICPART 2006»
16 years 16 days ago
Testing the Implementation of Business Rules Using Intensional Database Tests
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
David Willmor, Suzanne M. Embury
HYBRID
2010
Springer
16 years 1 months ago
Compositional analysis for linear control systems
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
Florian Kerber, Arjan van der Schaft
RE
2006
Springer
15 years 6 months ago
Interaction Analysis in Aspect-Oriented Models
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
Katharina Mehner, Mattia Monga, Gabriele Taentzer
OSDI
2008
ACM
16 years 6 months ago
Towards Virtual Passthrough I/O on Commodity Devices
A commodity I/O device has no support for virtualization. A VMM can assign such a device to a single guest with direct, fast, but insecure access by the guest's native device...
Lei Xia, Jack Lange, Peter A. Dinda
CIDR
2011
249views Algorithms» more  CIDR 2011»
14 years 10 months ago
The Case for Predictive Database Systems: Opportunities and Challenges
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...
Mert Akdere, Ugur Çetintemel, Matteo Rionda...