611 search results - page 87 / 123 » Relative simulation and model checking of real-time processe... |
159
Voted
TCAD
2010
14 years 10 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
115
Voted
CGF
2004
15 years 3 months ago
2004
Individually visible scratches, also called isolated scratches, are very common in real world surfaces. Although their microgeometry is not visible, they are individually percepti...
128
Voted
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
135
Voted
PEWASUN
2008
ACM
15 years 5 months ago
2008
ACM
Researches around wireless sensor network (WSN) were very prolific recently. However, traffic modeling related WSN research was poorly less. In this paper, source traffic dynamics...
119
Voted
DNA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...