2607 search results - page 365 / 522 » On the Architecture of System Verification Environments |
255
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
189
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Existing stream processing systems are optimized for a specific metric, which may limit their applicability to diverse applications and environments. This paper presents XFlow...
168
click to vote
EUROPAR
2005
Springer
16 years 2 days ago
2005
Springer
Availability and performance can be improved using data replication as the basic technique, thus benefitting the services provided by a distributed system. However, replication im...
139
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses VIEWS, a specification for building diagrams that describe the security features of systems. The authors' recent experience with providing security archi...
165
click to vote
FLAIRS
2003
15 years 8 months ago
2003
We report on our on-going effort to build an adaptive driver support system, Driver AdvocateTM , merging various AI techniques, in particular, agents, ontology, production systems...