2036 search results - page 144 / 408 » A generic type-and-effect system |
164
click to vote
LDTA
2010
15 years 1 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
106
Voted
ATC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
95
Voted
FCT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
96
Voted
HOTOS
2007
IEEE
15 years 4 months ago
2007
IEEE
Data centers are the backend for a large number of services that we take for granted today. A significant fraction of the total cost of ownership of these large-scale storage syst...
114
Voted
ACSD
2004
IEEE
15 years 4 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...