2050 search results - page 343 / 410 » A formal foundation for process modeling |
161
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
140
click to vote
SIGMOD
1991
ACM
15 years 9 months ago
1991
ACM
The view-object model provides a formal basis for representing and manipulating object-based views on relational databases. In this paper, we present a scheme for handling update ...
194
click to vote
ARCS
2010
Springer
15 years 9 months ago
2010
Springer
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
153
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
162
click to vote
CRIWG
2007
15 years 7 months ago
2007
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...