Sciweavers

6174 search results - page 945 / 1235
» The language of social software
Sort
View
FSTTCS
2004
Springer
16 years 1 days ago
Hardness Hypotheses, Derandomization, and Circuit Complexity
We consider hypotheses about nondeterministic computation that have been studied in different contexts and shown to have interesting consequences: • The measure hypothesis: NP d...
John M. Hitchcock, Aduri Pavan
ICSOC
2004
Springer
16 years 1 days ago
Methodological support for service-oriented design with ISDL
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
Dick A. C. Quartel, Remco M. Dijkman, Marten van S...
PPSWR
2004
Springer
16 years 16 hour ago
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
Hans Jürgen Ohlbach
SEKE
2004
Springer
16 years 14 hour ago
Grammatically Interpreting Feature Compositions
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Ra...
FTDCS
2003
IEEE
15 years 12 months ago
Secure Middleware for Situation-Aware Naval C2 and Combat Systems
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
Ramesh Bharadwaj