3555 search results - page 453 / 711 » Security-Critical System Development with Extended Use Cases |
174
click to vote
EDOC
2002
IEEE
15 years 12 months ago
2002
IEEE
As in traditional commerce, parties to a contract in ebusiness environments are expected to operate in good faith and comply with mutually agreed terms of contract. It may be the ...
200
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
198
click to vote
APN
2010
Springer
15 years 7 months ago
2010
Springer
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing p...
198
click to vote
JUCS
2008
15 years 6 months ago
2008
: Advances in wireless communication and mobile computing extend collaboration scenarios. Mobile workers using computing devices are currently able to collaborate in order to carry...
188
click to vote
IMR
2004
Springer
16 years 7 days ago
2004
Springer
Sweep method is one of the most robust techniques to generate hexahedral meshes in extrusion volumes. One of the main issues to be dealt by any sweep algorithm is the projection o...