1454 search results - page 220 / 291 » Stateful traits and their formalization |
159
click to vote
ICAC
2007
IEEE
16 years 20 days ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
171
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
— This paper addresses the problem of inter-domain QoS routing. We propose a solution based on virtual-trunk type aggregates corresponding to Service Level Agreements (SLA) for d...
167
click to vote
ICDCS
2007
IEEE
16 years 20 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
135
click to vote
ICMCS
2007
IEEE
16 years 20 days ago
2007
IEEE
Contextual information is important for sequence modeling. Hidden Markov Models (HMMs) and extensions, which have been widely used for sequence modeling, make simplifying, often u...
175
click to vote
MEMOCODE
2007
IEEE
16 years 19 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...