6348 search results - page 1172 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
130
Voted
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
94
Voted
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
119
Voted
CSCW
2006
ACM
15 years 8 months ago
2006
ACM
Rendezvous is a conference call solution that leverages Voice over IP, enterprise calendaring, instant messaging, and rich client functionality to enhance the user experience and ...
120
Voted
ML
2006
ACM
15 years 8 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
110
Voted
NETGAMES
2006
ACM
15 years 8 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...