Sciweavers

1564 search results - page 220 / 313
» The STEP Modular Architecture
Sort
View
TCGOV
2005
Springer
15 years 11 months ago
Towards a Semantically-Driven Software Engineering Environment for eGovernment
As software processes for developing eGovernment services become more complex, it is necessary to provide computer-based tools to support the software engineering process. Furtherm...
Dimitris Apostolou, Ljiljana Stojanovic, Tom&aacut...
ATAL
2004
Springer
15 years 11 months ago
A Complete and Decidable Logic for Resource-Bounded Agents
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
Natasha Alechina, Brian Logan, Mark Whitsey
CTRSA
2004
Springer
59views Cryptology» more  CTRSA 2004»
15 years 11 months ago
Yet Another Sieving Device
Abstract. A compact mesh architecture for supporting the relation collection step of the number field sieve is described. Differing from TWIRL, only isolated chips without inter-...
Willi Geiselmann, Rainer Steinwandt
ICWE
2004
Springer
15 years 11 months ago
Representing XML Schema in UML - A Comparison of Approaches
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
Martin Bernauer, Gerti Kappel, Gerhard Kramler
ICTAI
2003
IEEE
15 years 10 months ago
A Cognitive Vision Platform for Automatic Recognition of Natural Complex Objects
This paper presents a generic cognitive vision platform for the automatic recognition of natural complex objects. The recognition consists of three steps : image processing for nu...
Céline Hudelot, Monique Thonnat