3045 search results - page 518 / 609 » Formal Approaches to Software Architecture |
189
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
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...
156
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
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...
205
click to vote
ASAP
1997
IEEE
15 years 10 months ago
1997
IEEE
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...
216
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
173
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
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...