3911 search results - page 716 / 783 » Using Operational Architecture to Model Embedded Software |
135
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
111
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
107
Voted
ADBIS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
110
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
133
click to vote
ISPASS
2005
IEEE
15 years 8 months ago
2005
IEEE
A wide spectrum of e-commerce (B2B/B2C), banking, financial trading and other business applications require the exchange of data to be highly secure. The Secure Sockets Layer (SSL...