10038 search results - page 1832 / 2008 » Model Checking for Managers |
122
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
The distributed firewall is an important new line of network defense. It provides fine-grained access control to augment the protections afforded by the traditional perimeter fire...
165
click to vote
AWIC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a dialogue system that enables the access in natural language to a web information retrieval system. We use a Web Semantic Language to model the knowledge conv...
129
Voted
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
150
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
141
click to vote
ICDCS
1995
IEEE
1995
IEEE
Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication
15 years 8 months ago
A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is pre...