5863 search results - page 1006 / 1173 » On Model-Checking of P Systems |
142
click to vote
DATE
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper presents an integrated approach to energy harvester modelling and performance optimisation where the complete mixed physical-domain energy harvester system (micro gener...
164
click to vote
GLOBECOM
2008
IEEE
16 years 28 days ago
2008
IEEE
— Time-interleaved (TI) analog-to-digital converters (ADCs) are a promising architecture for realizing the highspeed ADCs required to implement “mostly digital” receivers for...
187
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
152
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
Designing web sites that are responsive to customer needs is a critical prerequisite for the success of online services. Recently, a usability evaluation procedure, based on the M...
176
click to vote
HICSS
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract: We adapt the event study methodology from research in financial economics to study the impact of government enforcement and economic opportunities on information security...