5630 search results - page 136 / 1126 » Computability in Specification |
111
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
151
click to vote
DAC
2004
ACM
15 years 8 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
126
click to vote
COLCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Community computing is an agent-based development paradigm for ubiquitous computing systems. In a community computing system, ubiquitous services are provided by cooperation among ...
150
click to vote
ICNS
2007
IEEE
15 years 10 months ago
2007
IEEE
The second generation of Advanced Telecom Computing Architecture (ATCA) based on PCI Industrial Computer Manufacturers Group (PICMG) specification has evolved to a live deployment...
139
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes the integration of the grid topic within a Computer Architecture engineering course. Students are engaged in a project of design and evaluation of computing s...