Sciweavers

3045 search results - page 518 / 609
» Formal Approaches to Software Architecture
Sort
View
SEMWEB
2004
Springer
15 years 11 months ago
Opening Up Magpie via Semantic Services
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
Martin Dzbor, Enrico Motta, John Domingue
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
15 years 11 months ago
Towards a Flexible ICT-Architecture for Multi-Channel E-Government Service Provisioning
The planning and subsequent nationwide implementation of E-government service provisioning faces a number of challenges at the level of municipalities in the Netherlands. Initiati...
Marijn Janssen, René W. Wagenaar, Jaap Beer...
ASAP
1997
IEEE
156views Hardware» more  ASAP 1997»
15 years 10 months ago
Design methodology for digital signal processing
Improvements in semiconductor integration density and the resulting problem of having to manage designs of increasing complexity is an old one, but still current. The new challeng...
Gerhard Fettweis
CCGRID
2004
IEEE
15 years 10 months ago
Capability matching of data streams with network services
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
Han Gao, Ivan R. Judson, Thomas D. Uram, Terry Dis...
DAC
2005
ACM
15 years 8 months ago
Prime clauses for fast enumeration of satisfying assignments to boolean circuits
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
HoonSang Jin, Fabio Somenzi