4636 search results - page 492 / 928 » Modelling and Validation with VipTool |
185
click to vote
ICSM
2005
IEEE
16 years 22 days ago
2005
IEEE
In order to build predictors of the maintainability of evolving software, we first need a means for measuring maintainability as well as a training set of software modules for whi...
157
click to vote
BPM
2005
Springer
16 years 21 days ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
224
click to vote
EMSOFT
2005
Springer
16 years 20 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
144
click to vote
LOCA
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
177
click to vote
CVPR
2003
IEEE
16 years 13 days ago
2003
IEEE
Pedal curves are the loci of the feet of perpendiculars to the tangents of a fixed curve to a fixed point called the pedal point. By varying the location of the pedal point, def...