1458 search results - page 183 / 292 » Extended Term Rewriting Systems |
VLDB
1997
ACM
15 years 5 months ago
1997
ACM
Businesses today need to interrelate data stored in diverse systems with differing capabilities, ideally via a single high-level query interface. We present the design of a query ...
114
Voted
DLS
2007
15 years 5 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
114
click to vote
EDOC
2009
IEEE
15 years 5 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
135
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Our demo presents an agent-based intrusion detection system designed for deployment on high-speed backbone networks. The major contribution of the system is the integration of sev...
CDC
2008
IEEE
15 years 3 months ago
2008
IEEE
Vision based tracking of an object using the ideas of perspective projection inherently consists of nonlinearly modelled measurements although the underlying dynamic system that en...