HICSS
2008
IEEE
14 years 6 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
GLOBECOM
2008
IEEE
14 years 6 months ago
2008
IEEE
—In this paper we propose a model to compute an upper bound for the maximum network size in mobile ad-hoc networks. Our model is based on the foundation that for a unicast route ...
DATE
2008
IEEE
14 years 6 months ago
2008
IEEE
Shrinking feature sizes and process variations are of increasing concern in modern technology. It is urgent that we develop statistical interconnect timing models which are harmon...
DATE
2008
IEEE
14 years 6 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
CEC
2008
IEEE
14 years 6 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
BIBE
2008
IEEE
14 years 6 months ago
2008
IEEE
-This paper builds a two dimensional Oculomotor Plant Mathematical Model (2DOPMM) that is capable of generating eye movement trace on a two dimensional plane. The key difference be...
SIGCOMM
2009
ACM
14 years 6 months ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...
TARK
2009
Springer
14 years 6 months ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
PRIMA
2009
Springer
14 years 6 months ago
2009
Springer
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
PREMI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. In this paper, we propose an unsupervised color image segmentation scheme using homotopy continuation method and Compound Markov Random Field (CMRF) model. The proposed s...