2252 search results - page 354 / 451 » Regular expression patterns |
MPC
2004
Springer
15 years 5 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
115
click to vote
ATS
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
112
click to vote
CSCW
2000
ACM
15 years 4 months ago
2000
ACM
We discuss findings from an ethnographic study of instant messaging (IM) in the workplace and its implications for media theory. We describe how instant messaging supports a varie...
112
click to vote
HCW
1998
IEEE
15 years 4 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
117
click to vote
RSP
1998
IEEE
15 years 4 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...