2050 search results - page 321 / 410 » A formal foundation for process modeling |
191
click to vote
RTCSA
2006
IEEE
16 years 11 days ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
152
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit speciļ¬cation of the requester needs. The actual Web Services that will be used to satis...
153
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The objective of this paper is to provide a unified, theoretically grounded framework for trust in electronic environments. An overview of the research on trust is presented, exam...
181
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...
173
click to vote
C3S2E
2009
ACM
15 years 10 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...