10159 search results - page 190 / 2032 » System Design Validation Using Formal Models |
122
click to vote
MOBILITY
2009
ACM
15 years 7 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
148
click to vote
JCP
2008
15 years 2 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...
126
Voted
EUROMICRO
1996
IEEE
15 years 6 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
125
Voted
SOSYM
2010
14 years 9 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
135
Voted
DAC
1999
ACM
15 years 7 months ago
1999
ACM
ion model or flexible PCB solutions cannot offer a valid solution for the next millinium SoCs . James G. Dougherty, Integrated Systems Silicon LTD, Belfast, Northern Ireland ISS an...