Sciweavers

3773 search results - page 649 / 755
» Using Ontologies for Integrated Geographic Information Syste...
Sort
View
152
Voted
RIVF
2003
15 years 5 months ago
A Based-On Agent Framework For Home Networking
— Home networking is the collection of elements that process, manage, transport and store information, enabling the connection and integration of multiple computing, control, mon...
Si Hoàng Do, Marc Bui, Paul Kopff
CACM
2010
113views more  CACM 2010»
15 years 4 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
IPAW
2010
15 years 1 months ago
Provenance of Software Development Processes
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
Heinrich Wendel, Markus Kunde, Andreas Schreiber
137
Voted
ACSAC
2009
IEEE
15 years 11 months ago
Scalable Web Content Attestation
—The web is a primary means of information sharing for most organizations and people. Currently, a recipient of web content knows nothing about the environment in which that info...
Thomas Moyer, Kevin R. B. Butler, Joshua Schiffman...
ICEBE
2007
IEEE
174views Business» more  ICEBE 2007»
15 years 11 months ago
Worksheet-Driven UMM Modeling of B2B Services
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
Christian Huemer, Marco Zapletal, Philipp Liegl, R...