Sciweavers

9443 search results - page 1755 / 1889
» Web-centric language models
Sort
View
SSS
2009
Springer
163views Control Systems» more  SSS 2009»
14 years 3 months ago
Developing Autonomic and Secure Virtual Organisations with Chemical Programming
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
Alvaro E. Arenas, Jean-Pierre Banâtre, Thier...
TAP
2009
Springer
178views Hardware» more  TAP 2009»
14 years 3 months ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
APSEC
2008
IEEE
14 years 3 months ago
Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
Klaus Marius Hansen, Weishan Zhang, João Fe...
ETFA
2008
IEEE
14 years 3 months ago
Evaluation of Sequential Function Charts execution techniques. The Active Steps Algorithm
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
Ramon Piedrafita Moreno, José Luis Villarro...
ICASSP
2008
IEEE
14 years 3 months ago
Fine-grained pitch accent and boundary tone labeling with parametric F0 features
Motivated by linguistic theories of prosodic categoricity, symbolic representations of prosody have recently attracted the attention of speech technologists. Categorical represent...
Sankaranarayanan Ananthakrishnan, Shrikanth Naraya...
« Prev « First page 1755 / 1889 Last » Next »