40 search results - page 3 / 8 » Validation of Regulation Documents by Automated Analysis of ... |
DEON
2010
Springer
13 years 8 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
RIDE
1999
IEEE
13 years 10 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
IRI
2009
IEEE
14 years 26 days ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
DOCENG
2004
ACM
13 years 11 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
CORR
2011
Springer
13 years 22 days ago
2011
Springer
Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital ...