Sciweavers

2663 search results - page 248 / 533
» How to Choose a Timing Model
Sort
View
ICETE
2004
159views Business» more  ICETE 2004»
15 years 5 months ago
When Business Models Go Bad: The Music Industry's Future
: The music industry is an interesting example for how business models from the pre-Internet area can get into trouble in the new Internet-based economy. Since 2000, the music indu...
Erik Wilde, Jacqueline Schwerzmann
COR
2011
14 years 11 months ago
MIP models for connected facility location: A theoretical and computational study
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...
Stefan Gollowitzer, Ivana Ljubic
COMPSAC
2008
IEEE
15 years 10 months ago
A Component-Based Model and Language for Wireless Sensor Network Applications
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
Alan Dearle, Dharini Balasubramaniam, Jonathan Lew...
IROS
2006
IEEE
97views Robotics» more  IROS 2006»
15 years 10 months ago
A quasi-passive model of human leg function in level-ground walking
- In this paper, we seek to understand how leg muscles and tendons work mechanically during walking in order to motivate the design of efficient robotic legs. We hypothesize that a...
Ken Endo, Daniel Paluska, Hugh M. Herr
NFM
2011
242views Formal Methods» more  NFM 2011»
14 years 11 months ago
Model Checking Using SMT and Theory of Lists
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
Aleksandar Milicevic, Hillel Kugler