4418 search results - page 219 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
195
click to vote
DSOM
2006
Springer
15 years 10 months ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
212
click to vote
AAAI
2010
15 years 7 months ago
2010
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...
175
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
Service-based Systems (SBS) have the advantage of composing distributed systems from various services provided by multiple providers transparently. In addition to functional correc...
144
click to vote
ICDCS
2005
IEEE
16 years 4 days ago
2005
IEEE
IT today is driven by the trend of increasing scale and complexity. Utility and Grid computing models, PlanetLab, and traditional data centers, are reaching the scale of thousands...
152
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
The execution of a complex task in any environment requires planning. Planning is the process of constructing an activity graph given by the current state of the system, a goal st...