2368 search results - page 309 / 474 » Model of conceptual design of complex electronic systems |
175
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
215
click to vote
HICSS
2007
IEEE
16 years 27 days ago
2007
IEEE
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
162
click to vote
FM
2005
Springer
16 years 3 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
146
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
Many embedded systems are designed to take timely reactions to the occurrences of interested scenarios. Sometimes transient overloads might be experienced due to hardware malfunct...
164
click to vote
IJRR
2010
15 years 5 months ago
2010
This paper explores a topological perspective of planning in the presence of uncertainty, focusing on tasks specified by goal states in discrete spaces. The paper introduces stra...