5184 search results - page 399 / 1037 » Computer support for mechatronic control system design |
180
click to vote
SAC
2005
ACM
16 years 12 days ago
2005
ACM
In traditional access control models like MAC, DAC, and RBAC, authorization decisions are determined according to identities of subjects and objects, which are authenticated by a ...
213
Voted
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
164
Voted
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
An important challenge in designing ubiquitous computing experiences is negotiating transitions between explicit and implicit interaction, such as how and when to provide users wi...
160
Voted
COMPUTER
2004
15 years 6 months ago
2004
any benefits. Most significantly, an abstract architectural model can provide a global perspective of the system and expose important system-level properties and integrity constrai...
174
Voted
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...