1860 search results - page 220 / 372 » Automatic Generation of Search Engines |
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
The Component Agent Framework for domain-Experts (CAFnE) toolkit is an extension to the Prometheus Design Tool (PDT). It uses the detailed design produced by PDT with further anno...
VAMOS
2010
Springer
13 years 10 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
DGO
2003
13 years 10 months ago
2003
To query XML data over the Web, query engines need to be able to resolve semantic differences between heterogeneous attributes that are conceptually similar. This demo presents a ...
ICFEM
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...