2513 search results - page 212 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
230
Voted
RE
2008
Springer
15 years 6 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
193
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
193
click to vote
EMSOFT
2005
Springer
16 years 18 days ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
163
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A generalized kinematic modeling framework, called Mechanism_Model, has been developed for use in the CLARAty robotic reusable software. Mechanism_Model supports a wide range o...
251
click to vote
EUROMICRO
2003
IEEE
16 years 11 days ago
2003
IEEE
One of the typical features of distributed systems is the heterogeneity of its components (e.g. geographical spreading and different platform architectures), leading to interopera...