3312 search results - page 223 / 663 » A Systemic Plan of Technology Integration |
214
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
151
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
Increasing of computation needs and improving of processor integration make the mapping of embedded real-time applications more and more expensive. PROMPT [1] provides a new appro...
198
click to vote
DEBU
2010
15 years 3 months ago
2010
Panda (for Provenance and Data) is a new project whose goal is to develop a general-purpose system that unifies concepts from existing provenance systems and overcomes some limita...
207
click to vote
ISAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
205
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The semantic Web and Web service technologies have provided both new possibilities and challenges to automatic information processing. There are a lot of researches on applying th...