2588 search results - page 169 / 518 » Engineering Systems Which Generate Emergent Functionalities |
185
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
170
click to vote
MBEES
2008
15 years 6 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
116
click to vote
ICECCS
1997
IEEE
15 years 8 months ago
1997
IEEE
The problems posed by mission-critical legacy systems - e.g., brittleness, inflexibility, isolation, non-extensibility, lack of openness - are well known, but practical solutions ...
134
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
During the past few years, hypermedia systems have emerged as an essential component of many application domains ranging from software engineering to library information systems. ...
212
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
The emergence of large-scale receptor-based systems has enabled applications to execute complex business logic over data generated from monitoring the physical world. An important...