3082 search results - page 448 / 617 » Deviation Analysis: A New Use of Model Checking |
158
click to vote
SOFTVIS
2003
ACM
15 years 11 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
171
click to vote
ICDAR
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we present IAM-OnDB - a new large online handwritten sentences database. It is publicly available and consists of text acquired via an electronic interface from a wh...
155
click to vote
DISCEX
2003
IEEE
15 years 11 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
180
click to vote
NCA
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose and analyze a methodology for providing statistical guarantees within the diffserv model in a network, that uses static-priority schedulers. We extend th...
185
click to vote
ICIA
2007
15 years 8 months ago
2007
Although there are high expectations for collaborative discussion and on-line learning, existing systems for on-line discussion and chat facilities are not fully effective in prom...