Sciweavers

2165 search results - page 273 / 433
» Cooperative Software Development: Concepts, Model and Tools
Sort
View
163
Voted
CAV
2012
Springer
265views Hardware» more  CAV 2012»
13 years 9 months ago
An Axiomatic Memory Model for POWER Multiprocessors
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayv...
EURODAC
1994
IEEE
133views VHDL» more  EURODAC 1994»
15 years 11 months ago
Mixed electrical-thermal and electrical-mechanical simulation of electromechatronic systems using PSpice
- The design methodology and technique is presented to expand the power of commercial SPICE to simulate mixed electricalthermal-mechanical microsystems, consisting of motors being ...
Konstantin O. Petrosjanc, Peter P. Maltcev
ECOOPW
1999
Springer
15 years 11 months ago
Extending UML with Aspects: Aspect Support in the Design Phase
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...
Junichi Suzuki, Yoshikazu Yamamoto
LAWEB
2003
IEEE
16 years 10 days ago
Collaborative Learning and Creative Writing
CSCL software tools must provide support for group work and should be based on a collaborative learning technique. The PBL based CCCuento tool is introduced here. It is intended t...
Luis A. Guerrero, Boris Mejías, Césa...
CSSE
2004
IEEE
15 years 7 months ago
AdOrBAC: an administration model for Or-BAC
Even though the final objective of an access control model is to provide a framework to decide if actions performed by subjects on objects are permitted or not, it is not convenie...
Frédéric Cuppens, Alexandre Mi&egrav...