Sciweavers

12487 search results - page 173 / 2498
» Graspable Work Modeling
Sort
View
VLSI
2007
Springer
15 years 9 months ago
Fast estimation of software energy consumption using IPI(Inter-Prefetch Interval) energy model
In this paper, we present the way of fast and accurate estimation of software energy consumption in off-the-shelf processor using IPI(Inter-Prefetch Interval) energy model. In ou...
Jungsoo Kim, Kyungsu Kang, Heejun Shim, Woong Hwan...
WWW
2001
ACM
16 years 4 months ago
MSL - a model for W3C XML schema
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...
Allen Brown, Matthew Fuchs, Jonathan Robie, Philip...
117
Voted
AINA
2009
IEEE
15 years 10 months ago
Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
Oliver Ray
109
Voted
IPPS
2007
IEEE
15 years 9 months ago
J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols
In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocol...
Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, J...
115
Voted
IAT
2006
IEEE
15 years 9 months ago
A Negotiation Model for Ontology Mapping
This paper presents an agent negotiation model for ontology mapping. We consider that different agents working on the basis of particular approaches arrive to distinct mapping res...
Cássia Trojahn dos Santos, Márcia Cr...