1021 search results - page 137 / 205 » Concepts in Proof Planning |
SCAM
2006
IEEE
14 years 2 months ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
MOMM
2006
ACM
14 years 2 months ago
2006
ACM
: Telecommunication networks and the Internet are growing together. Peer-to-Peer (P2P) services which are originally offered by network providers, like telephony and messaging, ar...
MSWIM
2006
ACM
14 years 2 months ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
MSWIM
2006
ACM
14 years 2 months ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...
SCESM
2006
ACM
14 years 2 months ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...