537 search results - page 42 / 108 » Digital Evolution of Behavioral Models for Autonomic Systems |
HICSS
2010
IEEE
15 years 6 months ago
2010
IEEE
The climate change has challenged urban living: As an omnipresent force nature sets the agenda for urban life. Using stakeholder theory for conceptualizing urban life, we install ...
IPM
2002
14 years 11 months ago
2002
The emergence of general audience digital libraries (GADLs) defines a context that represents a hybrid of both ``traditional'' IR, using primarily bibliographic resource...
106
click to vote
MOBISYS
2010
ACM
15 years 2 months ago
2010
ACM
We present Darwin, an enabling technology for mobile phone sensing that combines collaborative sensing and classification techniques to reason about human behavior and context on ...
119
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
130
click to vote
TCOS
2008
14 years 11 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...