248 search results - page 31 / 50 » Requirements Engineering in Automotive Development - Experie... |
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Vocabulary alignment is a main challenge in distributed access control as peers should understand each other’s policies unambiguously. Ontologies enable mutual underst...
ISORC
2006
IEEE
14 years 2 months ago
2006
IEEE
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
SOCO
2005
Springer
14 years 1 months ago
2005
Springer
The programming languages of today are stuck in a deep rut that has developed over the past 50 years. Although we are faced with new challenges posed by enormous advances in hardwa...
GCC
2004
Springer
14 years 1 months ago
2004
Springer
Defining the ways for components around the world to collaborate with each other to execute applications over the internet is one of the biggest challenges for computer scientists...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...