2346 search results - page 395 / 470 » Hierarchical State Machines |
182
click to vote
EUROMICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
Service Oriented Architectures and Web Services are emerging technologies, which have overall inherited problems and advantages from the component-based approach, but exacerbated ...
133
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
Trust negotiation is a process that establishes mutual trust by the exchange of digital credentials and/or guiding policies among entities who may have no pre-existing knowledge a...
154
click to vote
ITCC
2005
IEEE
15 years 12 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
181
click to vote
AISADM
2005
Springer
15 years 12 months ago
2005
Springer
RDF (core Semantic Web standard) is not originally appropriate for context representation, because of its initial focus on the ordinary Web resources, such as web pages, files, dat...
154
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...