Sciweavers

22698 search results - page 3916 / 4540
» Modeling in Software Engineering
Sort
View
SOSYM
2011
15 years 2 months ago
Exploring inconsistencies between modal transition systems
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...
Mathieu Sassolas, Marsha Chechik, Sebastián...
JCIT
2010
130views more  JCIT 2010»
15 years 2 months ago
Research on Simulation and Optimization of Transshipment Port Operation in a Power Coal Ocean Shipping Logistics System on the B
With China's rapid economic development, electricity supply is relatively shortage, and the contradiction of power coal supply and demand is prominent. In this context, using...
Yabin Li
TII
2010
110views Education» more  TII 2010»
15 years 1 months ago
An Efficient Threshold-Based Power Management Mechanism for Heterogeneous Soft Real-Time Clusters
With growing cost of electricity, the power management of server clusters has become an important problem. However, most previous researchers only address the challenge in homogen...
Leping Wang, Ying Lu
CSE
2009
IEEE
16 years 2 months ago
A Language of Life: Characterizing People Using Cell Phone Tracks
—Mobile devices can produce continuous streams of data which are often specific to the person carrying them. We show that cell phone tracks from the MIT Reality dataset can be u...
Alexy Khrabrov, George Cybenko
ER
2007
Springer
129views Database» more  ER 2007»
16 years 1 months ago
A Methodology and Toolkit for Deploying Contract Documents as E-contracts
Recent research in e-contracts is concerned with the development of frameworks and tools to support contracts. EREC framework is one that enables modelling and deployment of e-con...
Anushree Khandekar, P. Radha Krishna, Kamalakar Ka...
« Prev « First page 3916 / 4540 Last » Next »