3388 search results - page 131 / 678 » Type-theoretic design patterns |
148
Voted
CSCW
2006
ACM
15 years 11 months ago
2006
ACM
The proliferation of cell phones has led to an ever increasing number of inappropriate interruptions. Context-aware telephony applications, in which callers are provided with cont...
133
click to vote
AI
2003
Springer
15 years 10 months ago
2003
Springer
Creating realistic artificially-intelligent characters is seen as one of the major challenges of the commercial games industry. Historically, character behavior has been specifie...
144
Voted
DSD
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
144
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
162
click to vote
JOT
2007
15 years 5 months ago
2007
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable busines...