2670 search results - page 452 / 534 » Modeling systems with internal state using evolino |
186
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
171
click to vote
JUCS
2002
15 years 5 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
169
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
: Virtualized data centers enable consolidation of multiple applications and sharing of multiple resources among these applications. However, current virtualization technologies ar...
163
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...
183
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
The discussions about learning management systems and reusable learning objects primarily focus on technical standardization issues. Standards such as SCORM or LTSC-LOM will yield...