3011 search results - page 158 / 603 » Generating XML Based Specifications of Information Systems |
114
click to vote
ECP
1997
Springer
15 years 7 months ago
1997
Springer
It is traditional wisdom that one should start from the goals when generating a plan in order to focus the plan generation process on potentially relevant actions. The graphplan sy...
129
click to vote
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
222
Voted
WWW
2005
ACM
15 years 9 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
155
click to vote
JCP
2008
15 years 3 months ago
2008
Trusted computing platforms have been proposed as a promising approach to enhance the security of general-purpose computing systems. Direct Anonymous Attestation(DAA) is a scheme t...
143
Voted
KI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...