3106 search results - page 202 / 622 » Both Generic Design and Different Forms of Designing |
147
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
159
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
125
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Many systems execute untrusted programs in virtual machines (VMs) to limit their access to system resources. Sun introduced the Java VM in 1995, primarily intended as a lightweigh...
139
click to vote
TVLSI
2008
15 years 4 months ago
2008
Subthreshold circuit designs have been demonstrated to be a successful alternative when ultra-low power consumption is paramount. However, the characteristics of MOS transistors in...
144
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
In many practical cases, the identification of a system is done in closed loop with some controller. In this paper, we show that the internal stability of the resulting model, in ...