4007 search results - page 360 / 802 » Automotive Software Integration |
192
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present conceptual foundations of an exception handling model for context-aware CSCW applications. Human participation in the recovery actions is an inte...
155
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
169
click to vote
ICSM
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes ongoing work on a domainretargetable reverse engineering environment which is used to aid the structural understanding of large information spaces. In particu...
269
click to vote
AVI
2008
15 years 9 months ago
2008
This work aimed to propose an adaptive web site in the field of cultural heritage that can dynamically suggest links, based on not intrusive profiling methodologies integrated wit...
171
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...