2409 search results - page 252 / 482 » Logical systems for structured specifications |
270
click to vote
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
XML is rapidly emerging as the new standard for data representation and exchange on the Web. An XML document can be accompanied by a Document Type Descriptor (DTD) which plays the...
123
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
148
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Reconfigurable Computers based on a combination of conventional microprocessors and Field Programmable Gate Arrays (FPGAs) presents new challenges to designers. Debugging on such ...
142
click to vote
ICDE
1994
IEEE
15 years 8 months ago
1994
IEEE
We describe the design and implementation of QBISM (Query By Interactive, Spatial Multimedia), a prototype for querying and visualizing 3D spatial data. Our first application is i...
166
click to vote
CCIA
2008
Springer
15 years 6 months ago
2008
Springer
Agents are situated autonomous entities that perceive and act in their environment, and communicate with other agents. An agent usually starts a conversation by querying another a...