7206 search results - page 1305 / 1442 » Using a Hypermedia System for Systems Engineering |
150
Voted
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
136
Voted
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
144
Voted
TC
2011
14 years 10 months ago
2011
—CMOS scaling has long been a source of dramatic performance gains. However, semiconductor feature size reduction has resulted in increasing levels of operating temperatures and ...
149
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
120
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
We describe a new paradigm for performing search in context. In the IntelliZap system we developed, search is initiated from a text query marked by the user in a document she view...