3555 search results - page 598 / 711 » Security-Critical System Development with Extended Use Cases |
122
Voted
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
111
click to vote
IWAN
2000
Springer
15 years 5 months ago
2000
Springer
The primary goal of active networking is to increase the pace of network evolution. The approach to achieving this goal, as well as the goal of enhancing customizability, is to al...
124
Voted
ANTS
2010
Springer
15 years 4 months ago
2010
Springer
We extend methods of Greenberg and the author to compute in the cohomology of a Shimura curve defined over a totally real field with arbitrary class number. Via the Jacquet-Langlan...
118
click to vote
ASE
2006
15 years 1 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
130
click to vote
VIS
2008
IEEE
16 years 2 months ago
2008
IEEE
Professional designers and artists are quite cognizant of the rules that guide the design of effective color palettes, from both aesthetic and attention-guiding points of view. In ...