140 search results - page 22 / 28 » Using Assumptions in Service Composition Context |
VLDB
1994
ACM
13 years 11 months ago
1994
ACM
Many relational and object-oriented database systems provide referential integrity and compound operations on related objects using relationship mechanisms. Distributed object sys...
FTDCS
2004
IEEE
13 years 11 months ago
2004
IEEE
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide an user the transparency of anywhere, anyplace, anytime computing. Pervasive comp...
HYBRID
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
MOBIQUITOUS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— By developing demonstrators and performing smallscale user trials, we found various opportunities and pitfalls for deploying Personal Networks (PNs) on a commercial bas...
HICSS
1998
IEEE
13 years 12 months ago
1998
IEEE
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...