6201 search results - page 1010 / 1241 » Implementation of Axiomatic Language |
159
click to vote
CODES
2007
IEEE
16 years 29 days ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
158
click to vote
DSD
2007
IEEE
16 years 28 days ago
2007
IEEE
The reduction of the cumbersome operations of multiplication, division, and powering to addition, subtraction and multiplication is what makes the Logarithmic Number System (LNS) ...
159
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
167
click to vote
ICCCN
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper proposes a spatio-temporal macroprogramming paradigm for push-pull hybrid wireless sensor networks (WSNs). The proposed paradigm, called SpaceTime Oriented Programming ...
175
click to vote
ICTAI
2007
IEEE
16 years 28 days ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...