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 23 days 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 14 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
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
15 years 12 months 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...