2139 search results - page 307 / 428 » Modeling Aspect-Oriented Compositions |
179
click to vote
SUM
2010
Springer
15 years 2 months ago
2010
Springer
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
124
click to vote
NHM
2010
14 years 11 months ago
2010
Previous experimental studies of spontaneous imbibition on chalk core plugs have shown that seawater may change the wettability in the direction of more water-wet conditions in cha...
135
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
183
click to vote
PE
2010
Springer
15 years 2 months ago
2010
Springer
We propose a trace fitting algorithm for Markovian Arrival Processes (MAPs) that can capture statistics of any order of interarrival times between measured events. By studying re...
172
click to vote
CAV
2000
Springer
15 years 9 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...