133 search results - page 13 / 27 » Applying dependability aspects on top of |
DASC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
ICCS
2003
Springer
14 years 18 days ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...
CSMR
2000
IEEE
13 years 11 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
ICWS
2008
IEEE
13 years 8 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...