5132 search results - page 1004 / 1027 » Toward Design as Collaboration |
113
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
152
Voted
SOUPS
2010
ACM
15 years 5 months ago
2010
ACM
Graphical password systems based on the recognition of photographs are candidates to alleviate current over-reliance on alphanumeric passwords and PINs. However, despite being bas...
116
click to vote
GLOBECOM
2007
IEEE
15 years 5 months ago
2007
IEEE
Under device failures and maintenance activities, network resources reduce and congestion may arise inside networks. As a result, users experience degraded performance on packet d...
140
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
121
Voted
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...