2520 search results - page 320 / 504 » Model-checking behavioral programs |
117
click to vote
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
123
click to vote
AGENTS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Shopbots are agents that search the Internet for information pertaining to the price and quality of goods or services. With the advent of shopbots, a dramatic reduction i...
WCRE
1999
IEEE
15 years 6 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
152
click to vote
VISUAL
1999
Springer
15 years 6 months ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
124
click to vote
TOOLS
1997
IEEE
15 years 6 months ago
1997
IEEE
Software design patterns describe proven solutions to recurring software design problems. Knowledge of these patterns increases designers’ abilities, leads to cleaner and more e...