3565 search results - page 568 / 713 » Modeling a system controller for timing analysis |
141
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
With the near ubiquity of mobile phones, people are reachable almost anywhere and at any time. At the same time we see an increasing need for people to limit their interactions on...
149
click to vote
IAJIT
2010
15 years 2 months ago
2010
: Privacy is one of the most important properties of an information system must satisfy, in which systems the need to share information among different, not trusted entities, the p...
114
click to vote
ENTCS
2007
15 years 4 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
141
click to vote
CAD
2008
Springer
15 years 4 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
136
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...