125 search results - page 5 / 25 » Verifying Model Oriented Specifications through Animation |
120
Voted
ACSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
133
Voted
ANSOFT
1998
15 years 3 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...
125
Voted
WCRE
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
128
Voted
EMNETS
2007
15 years 7 months ago
2007
A realtime posture tracking system has been developed using a network of compact wireless sensor devices worn by the user. Each device is a complete inertial/magnetic tracking uni...
125
click to vote
FGCN
2008
IEEE
15 years 10 months ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...