Sciweavers

1564 search results - page 220 / 313
» The STEP Modular Architecture
Sort
View
TCGOV
2005
Springer
14 years 3 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
14 years 3 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»
14 years 3 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
14 years 3 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
14 years 3 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