2251 search results - page 121 / 451 » Specification and Implementation Problems for C |
132
Voted
PROMS
2001
Springer
15 years 8 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
142
Voted
CAV
1997
Springer
15 years 7 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
154
Voted
HIPEAC
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a program generator for fast software Viterbi decoders for arbitrary convolutional codes. The input to the generator is a specification of the code and a single...
121
Voted
OTM
2007
Springer
15 years 9 months ago
2007
Springer
The implementation of service-oriented device architectures (SODA) suffers from restrictions that are imposed by the use of existing syntactic technologies. Related problems includ...
126
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
AbstractAbstractAbstract Decision task and its features are defined in order to distinguish motions, decision purposes, decision problems, alternatives, etc. Indicators of decision...