3844 search results - page 536 / 769 » Modular interpreted systems |
191
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
237
click to vote
ESANN
2007
15 years 8 months ago
2007
Inspired by recent findings on the similarities between the primary auditory and visual cortex we propose a neural network for speech recognition based on a hierarchical feedforw...
164
click to vote
FMOODS
2008
15 years 8 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
152
click to vote
INTERACT
2007
15 years 8 months ago
2007
This paper discusses how semiotic engineering can support the formulation of problems and solutions involved in handling face-to-face (F2F) sociability models in computer-mediated ...
143
click to vote
OWLED
2007
15 years 8 months ago
2007
Ontologies enable explicit expression of collective concepts and support Machine-to-Machine (M2M) interactions at the semantic level. Ontologies expressed in a standard language, s...