Sciweavers

2245 search results - page 312 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
PEPM
2007
ACM
17 years 4 months ago
Concoqtion: Indexed types now!
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
Emir Pasalic, Jeremy G. Siek, Seth Fogarty, Walid ...
ECBS
2009
IEEE
119views Hardware» more  ECBS 2009»
16 years 1 months ago
Software Architectural Design Meets Security Engineering
Security requirements strongly influence the architectural design of complex IT systems in a similar way as other non-functional requirements. Both security engineering as well a...
Stephan Bode, Anja Fischer, Winfried E. Kühnh...
DDECS
2007
IEEE
102views Hardware» more  DDECS 2007»
16 years 1 months ago
IP Integration Overhead Analysis in System-on-Chip Video Encoder
—Current system-on-chip implementations integrate IP blocks from different vendors. Typical problems are incompatibility and integration overheads. This paper presents a case stu...
Antti Rasmus, Ari Kulmala, Erno Salminen, Timo D. ...
HICSS
2006
IEEE
121views Biometrics» more  HICSS 2006»
16 years 22 days ago
E-Government: The Need for Effective Process Management in the Public Sector
The concept of e-government has evolved from the domain of e-business where enterprises need to collaborate with partners, suppliers and customers for the effective delivery of e-...
Vishanth Weerakkody, Simon Baire, Jyoti Choudrie
190
Voted
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
16 years 3 days ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...