2153 search results - page 241 / 431 » From Requirements Models to Formal Specifications in B |
161
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
231
click to vote
WWW
2010
ACM
15 years 4 months ago
2010
ACM
With the enormous and still growing amount of data and user interaction on the Web, it becomes more and more necessary for data consumers to be able to assess the trustworthiness ...
186
click to vote
JSSPP
2005
Springer
15 years 12 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
220
click to vote
AOSE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
176
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...