3911 search results - page 519 / 783 » Using Operational Architecture to Model Embedded Software |
192
click to vote
USS
2010
15 years 4 months ago
2010
Despite the widespread deployment of malwaredetection software, in many situations it is difficult to preemptively block a malicious program from infecting a system. Rather, signa...
213
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
165
click to vote
RTCSA
1997
IEEE
15 years 11 months ago
1997
IEEE
Emphasis of our research lies on the application of realtime multimedia technology: tele-teaching. teleconferencing arid collaborative work. To support this research we need a rea...
170
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
An active XML (AXML) document contains tags representing calls to Web services. Therefore, retrieving its contents consists in materializing its data elements by invoking the embe...
205
click to vote
SDM
2004
SIAM
15 years 8 months ago
2004
SIAM
Graph-based modeling has emerged as a powerful abstraction capable of capturing in a single and unified framework many of the relational, spatial, topological, and other characteri...