4890 search results - page 574 / 978 » From system specifications to component behavioral models |
191
click to vote
POLICY
2001
Springer
15 years 11 months ago
2001
Springer
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...
216
Voted
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Presently, many distributed multimedia systems adapt to their changing environments and Quality of Service (QoS) requirements by exchanging control and feedback data between server...
196
Voted
ICCSA
2005
Springer
16 years 11 days ago
2005
Springer
Today mobile computing is pervasively taking over the traditional desktop computing. Mobile devices are characterized by abrupt and unannounced changes in execution context. The ap...
181
click to vote
FORTE
2003
15 years 8 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
179
Voted
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
— To localize a seen object, the superior colliculus of the barn owl integrates the visual and auditory localization cues which are accessed from the sensory system of the brain....