Sciweavers

1676 search results - page 229 / 336
» Formal Development of Self-organising Systems
Sort
View
HICSS
2007
IEEE
126views Biometrics» more  HICSS 2007»
15 years 4 months ago
Contract as a Source of Trust--Commitment in Successful IT Outsourcing Relationship: An Empirical Study
Existing studies on IT outsourcing have mainly examined partnership factors that influence IT outsourcing effectiveness. This stream of IT outsourcing research has largely ignored...
Jahyun Goo, Kichan Nam
MKM
2007
Springer
15 years 4 months ago
Narrative Structure of Mathematical Texts
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
Fairouz Kamareddine, Manuel Maarek, Krzysztof Rete...
SEMWEB
2007
Springer
15 years 4 months ago
Dynamic Ontology Co-Evolution from Texts: Principles and Case Study
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
Kévin Ottens, Nathalie Aussenac-Gilles, Mar...
WISE
2006
Springer
15 years 4 months ago
Pattern Based Property Specification and Verification for Service Composition
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
Jian Yu, Tan Phan Manh, Jun Han, Yan Jin, Yanbo Ha...
ML
2006
ACM
113views Machine Learning» more  ML 2006»
15 years 3 months ago
A separate compilation extension to standard ML
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
David Swasey, Tom Murphy VII, Karl Crary, Robert H...