2513 search results - page 206 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
191
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
201
click to vote
SIGSOFT
2003
ACM
16 years 9 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
203
click to vote
RE
2004
Springer
16 years 12 days ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
170
Voted
GTTSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
241
click to vote
ECMDAFA
2005
Springer
16 years 18 days ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...