Sciweavers

1054 search results - page 101 / 211
» Guarded Expressions in Practice
Sort
View
MSWIM
2003
ACM
15 years 11 months ago
Connectivity of wireless multihop networks in a shadow fading environment
This article analyzes the connectivity of multihop radio networks in a log-normal shadow fading environment. Assuming the nodes have equal transmission capabilities and are randoml...
Christian Bettstetter, Christian Hartmann
BIRTHDAY
2003
Springer
15 years 11 months ago
Petri Net Analysis Using Invariant Generation
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
DALT
2003
Springer
15 years 11 months ago
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Pao...
ECCV
2010
Springer
15 years 11 months ago
Representing Pairwise Spatial and Temporal Relations for Action Recognition
The popular bag-of-words paradigm for action recognition tasks is based on building histograms of quantized features, typically at the cost of discarding all information about rela...
ISQED
2002
IEEE
85views Hardware» more  ISQED 2002»
15 years 11 months ago
Optimal Sequencing Energy Allocation for CMOS Integrated Systems
All synchronous CMOS integrated systems have to pay some sequencing overhead. This overhead includes the skew and the jitter of the clock. It also includes the setup time and the ...
Martin Saint-Laurent, Vojin G. Oklobdzija, Simon S...