2933 search results - page 393 / 587 » Agent-Grid Integration Language |
123
Voted
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
129
Voted
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
126
click to vote
HICSS
2003
IEEE
15 years 8 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...
114
click to vote
ICEIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
139
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...