12670 search results - page 2292 / 2534 » Requirements Modeling |
178
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...
171
click to vote
ESWS
2007
Springer
16 years 20 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
190
click to vote
HIPEAC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...
195
click to vote
OTM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. This article presents a proposal for managing privacy in pervasive environments. These environments are capable of sensing personal information anywhere and at anytime. T...
184
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...