Sciweavers

6348 search results - page 1008 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
IEEEARES
2009
IEEE
15 years 9 months ago
Linking Privacy Solutions to Developer Goals
Privacy is gaining importance since more and more data becomes digitalized. There is also a growing interest from the security community because of the existing synergy between se...
Kim Wuyts, Riccardo Scandariato, Bart De Decker, W...
OZCHI
2009
ACM
15 years 9 months ago
Having fun at home: interleaving fieldwork and goal models
We aim to make sense of a perplexing human experience (fun) as it occurs in a recently discovered place for sociotechnical study (the home). Our toolkit includes technology probes...
Sonja Pedell, Tim Miller, Frank Vetere, Leon Sterl...
FOSSACS
2009
Springer
15 years 9 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
FSTTCS
2009
Springer
15 years 9 months ago
The Wadge Hierarchy of Max-Regular Languages
Recently, Mikołaj Boja´nczyk introduced a class of max-regular languages, an extension of regular languages of infinite words preserving many of its usual properties. This new c...
Jérémie Cabessa, Jacques Duparc, Ale...
154
Voted
ISORC
2008
IEEE
15 years 9 months ago
Toward Effective Multi-Capacity Resource Allocation in Distributed Real-Time and Embedded Systems
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
Nilabja Roy, John S. Kinnebrew, Nishanth Shankaran...
« Prev « First page 1008 / 1270 Last » Next »