Sciweavers

689 search results - page 58 / 138
» Program transformations for information personalization
Sort
View
ICLP
2005
Springer
15 years 8 months ago
Modeling Systems in CLP
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 7 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
122
Voted
AVI
2010
15 years 16 days ago
Seeing the self in the washing machine: the deep affordance of 2.0 philosophy in the household appliance domain
The acceleration of rhythm of everyday life requires efficiency and flexibility in daily routines. The real expectations and needs of people concerning intelligent home devices sh...
Caterina Calefato, Enrico Frumento, Monica Milani,...
SIGCSE
2010
ACM
232views Education» more  SIGCSE 2010»
15 years 9 months ago
What game developers look for in a new graduate: interviews and surveys at one game company
Video game development is an attractive career objective for many computer science students. Colleges are starting degree programs and specializations to serve this interest, but ...
Michael Hewner, Mark Guzdial
IJDE
2006
101views more  IJDE 2006»
15 years 2 months ago
Google Desktop as a Source of Digital Evidence
This paper discusses the emerging trend of Personal Desktop Searching utilities on desktop computers, and how the information cached and stored with these systems can be retrieved...
Benjamin Turnbull, Barry Blundell, Jill Slay