1297 search results - page 176 / 260 » Control of systems integrating logic, dynamics, and constrai... |
101
click to vote
WADT
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
120
click to vote
BTW
2001
Springer
15 years 6 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
IRI
2008
IEEE
15 years 7 months ago
2008
IEEE
The Linux kernel stack has a fixed size. There is no mechanism to prevent the kernel from overflowing the stack. Hackers can exploit this bug to put unwanted information in the me...
85
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— We are motivated by the prospect of automating microbial observing systems. To this end we have designed and built a robotic boat as part of a sensor network for monitoring aqu...
202
click to vote
ICDE
2006
IEEE
16 years 2 months ago
2006
IEEE
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...