7080 search results - page 513 / 1416 » Designing High Integrity Systems Using Aspects |
153
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Collaborative tagging systems with user generated content have become a fundamental element of websites such as Delicious, Flickr or CiteULike. By sharing common knowledge, mass...
135
click to vote
CIA
1998
Springer
15 years 9 months ago
1998
Springer
Information-rich environments are the open environments that characterize most of the modern applications of computing technology. The applications include ubiquitous information a...
137
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
142
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
166
click to vote
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
Feature detection in flow fields is a well researched area, but practical application is often difficult due to the numerical complexity of the algorithms preventing interactive u...