1284 search results - page 92 / 257 » Connectivity in Bag Generation |
165
click to vote
SYNASC
2005
IEEE
15 years 12 months ago
2005
IEEE
It is known that one of the most disastrous forms of collective human behavior is the kind of crowd stampede induced by panic. This situation often leads to fatalities as people a...
162
Voted
UML
2001
Springer
15 years 10 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
163
click to vote
CQRE
1999
Springer
15 years 10 months ago
1999
Springer
The Point-to-Point Tunneling Protocol (PPTP) is used to secure PPP connections over TCP/IP link. In response to [SM98], Microsoft released extensions to the PPTP authentication me...
152
click to vote
GPC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper describes a new approach to implement Web Services in embedded devices connected to Wireless Sensor Networks. The sensor/actuator node is able to process stand...
161
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...