305 search results - page 46 / 61 » Experiences with Modeling and Verification of Regulations |
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
CODES
2007
IEEE
14 years 1 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
EDBTW
2010
Springer
14 years 2 months ago
2010
Springer
To face the increasing demand from users, National Statistical Institutes (NSI) release different information products. The dissemination of this information should be performed ...
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
Communication networks, such as networks formed by phone calls and email communications, can be modeled as dynamic graphs with vertices representing agents and edges representing ...
ICRA
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper addresses some performance limits of the kneed and non-kneed passive-dynamic walking machines discovered by McGeer [10, 11]. Energetic inefficiency is measured by the s...