Sciweavers

2607 search results - page 290 / 522
» On the Architecture of System Verification Environments
Sort
View
ISAMI
2010
15 years 4 months ago
Toward a Behavioral Decomposition for Context-Awareness and Continuity of Services
Many adaptative context-aware middleware exist and most of them rely on so-called vertical architectures that offer a functional decomposition for contextawareness. This architectu...
Nicolas Ferry, Stephane Lavirotte, Jean-Yves Tigli...
SIGSOFT
2008
ACM
16 years 7 months ago
Requirements engineering: from craft to discipline
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
Axel van Lamsweerde
IPPS
2005
IEEE
16 years 8 days ago
WSPeer - An Interface to Web Service Hosting and Invocation
— This paper introduces WSPeer, a high level interface to hosting and invoking Web services. WSPeer aims to support the diversification of Web service deployments by providing a...
Andrew Harrison, Ian J. Taylor
POS
1998
Springer
15 years 11 months ago
DynamO: Dynamic Objects with Persistent Storage
In light of advances in processor and networking technology, especially the emergence of network attached disks, the traditional client-server architecture becomes suboptimal for ...
Jiong Yang, Silvia Nittel, Wei Wang 0010, Richard ...
ACSAC
2007
IEEE
16 years 1 months ago
Extending the Java Virtual Machine to Enforce Fine-Grained Security Policies in Mobile Devices
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
Iulia Ion, Boris Dragovic, Bruno Crispo