1895 search results - page 305 / 379 » Using ATL for Checking Models |
143
click to vote
ICEGOV
2009
ACM
15 years 5 days ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
124
Voted
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
Video-based recognition and prediction of a temporally extended activity can benefit from a detailed description of high-level expectations about the activity. Stochastic grammars...
133
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
106
click to vote
ICNP
2009
IEEE
15 years 9 months ago
2009
IEEE
—We introduce the Dynamic Policy Routing (DPR) model that captures the propagation of route updates under arbitrary changes in topology or path preferences. DPR introduces the no...
113
Voted
IEEESCC
2006
IEEE
15 years 8 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...