Sciweavers

2631 search results - page 95 / 527
» Software Development with Code Maps
Sort
View
ACMICEC
2007
ACM
107views ECommerce» more  ACMICEC 2007»
15 years 8 months ago
Developing semantically interoperable e-commerce systems
This paper discusses semantic interoperability issues in agentbased E-commerce systems. The literature reports various techniques to enable agents to understand the meanings of th...
Jurriaan van Diggelen, Frank Dignum
TMRA
2007
Springer
15 years 10 months ago
Expressing Dublin Core in Topic Maps
The Dublin Core Metadata Initiative is an open organization engaged in the development of interoperable online metadata standards that support a broad range of purposes and busines...
Steve Pepper
EMSOFT
2007
Springer
15 years 11 months ago
Proving the absence of run-time errors in safety-critical avionics code
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
Patrick Cousot
SECON
2007
IEEE
15 years 11 months ago
High-Level Application Development is Realistic for Wireless Sensor Networks
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
Marcin Karpinski, Vinny Cahill
CODES
2008
IEEE
15 years 11 months ago
Intra- and inter-processor hybrid performance modeling for MPSoC architectures
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
Frank E. B. Ophelders, Samarjit Chakraborty, Henk ...