4919 search results - page 874 / 984 » A Process-Ontological Model for Software Engineering |
FSTTCS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
SEKE
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
Web services, service-oriented, and service-discovery architectures help developers solve complex business cases, reduce costs, risks, and time-to-market. The task of developers i...
UIST
2006
ACM
15 years 3 months ago
2006
ACM
We propose WindowScape, a window manager that uses a photograph metaphor for lightweight, post hoc task management. This is the first task management windowing model to provide in...
UIST
2006
ACM
15 years 3 months ago
2006
ACM
Systems of connected appliances, such as home theaters and presentation rooms, are becoming commonplace in our homes and workplaces. These systems are often difficult to use, in p...