1407 search results - page 102 / 282 » Using Use Cases in Executable Z |
146
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
In this work, we propose a framework for quantifying non-functional requirements (NFRs). This framework uses quality characteristics of the execution domain, application domain an...
158
click to vote
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
139
click to vote
SIGCOMM
2009
ACM
15 years 10 months ago
2009
ACM
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known ...
136
Voted
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
176
click to vote
CDB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Long DNA sequences have to be cut using restriction enzymes into small fragments whose lengths and/or nucleotide sequences can be analyzed by currently available technolo...