2850 search results - page 382 / 570 » On Timed Models and Full Abstraction |
182
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We present a computational framework to automatically discover high-order temporal social patterns from very noisy and sparse location data. We introduce the concept of social foo...
159
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Enterprise Architecture (EA) models provide information on the fundamental as-is structure of a company or governmental agency and thus serve as an informational basis fo...
157
click to vote
ICCS
2004
Springer
16 years 20 min ago
2004
Springer
Abstract. Physical and biogeochemical ocean dynamics can be intermittent and highly variable, and involve interactions on multiple scales. In general, the oceanic fields, processe...
185
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...
193
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...