4708 search results - page 611 / 942 » Generating the Structure of Argument |
189
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
180
click to vote
ISDA
2009
IEEE
16 years 1 months ago
2009
IEEE
—Web Services are interfaces that describe a collection of operations that are network-accessible through standardized web protocols. When a required operation is not found, seve...
182
click to vote
BPM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Recently, a new generation of adaptive Process-Aware Information Systems (PAISs) has emerged, which enables structural process changes during runtime. Such flexibility, ...
188
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...
156
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to high demand for hall sensors mostly in the automotive and industrial applications, development and manufacturing of hall sensors in System-on-Chip (SoC) became more importa...