1988 search results - page 339 / 398 » Engineering formal metatheory |
156
Voted
ICADL
2003
Springer
15 years 10 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...
148
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
138
Voted
CODES
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
134
Voted
SACMAT
2010
ACM
15 years 10 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
179
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...