1023 search results - page 165 / 205 » Model Checking: Software and Beyond |
121
click to vote
ASE
1999
15 years 1 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
112
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...
100
click to vote
DRM
2005
Springer
15 years 7 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...
102
click to vote
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We have fabricated a Chip Multiprocessor prototype code-named Merlot to proof our novel speculative multithreading architecture. On Merlot, multiple threads provide wider issue wi...
102
click to vote
CHI
2009
ACM
15 years 6 months ago
2009
ACM
We build on our prior work with computer-supported teams performing a complex decision-making task on maps, where the distinction between content and process common ground is prop...