873 search results - page 20 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
CAV
2003
Springer
15 years 7 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
111
click to vote
ECTEL
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. L2C - Learning to Collaborate - is an ongoing research project addressing the design of effective immersive simulation-based learning experiences supporting the developme...
113
click to vote
EDBT
2000
ACM
15 years 5 months ago
2000
ACM
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
160
click to vote
IESS
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Embedded system design complexities are growing exponentially. Demand has increased for modeling techniques that can provide both accurate measurements of delay and fast ...
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The use of subprocesses in large process models is an important step in modeling practice to handle complexity. While there are several advantages attributed to such a mo...