933 search results - page 133 / 187 » Extending Forward Checking |
130
click to vote
ASE
2006
15 years 2 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
113
click to vote
FAC
2008
15 years 2 months ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
130
Voted
CN
2006
15 years 2 months ago
2006
Multidimensional packet classification has attracted considerable research interests in the past few years due to the increasing demand on policy based packet forwarding and secur...
119
click to vote
JNCA
2008
15 years 2 months ago
2008
Although the Differentiated Services architecture supports scalable packet forwarding based on aggregate flows, the detailed procedure of Quality of Service (QoS) flow set-up with...
115
click to vote
JCO
2006
15 years 2 months ago
2006
The paper addresses the relay node placement problem in two-tiered wireless sensor networks. Given a set of sensor nodes in Euclidean plane, our objective is to place minimum numbe...