Sciweavers

AC
2002
Springer
13 years 7 months ago
Embedded Software
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
Edward A. Lee
AC
2002
Springer
13 years 7 months ago
Timed Verification of Asynchronous Circuits
Jesper B. Møller, Henrik Hulgaard, Henrik R...
AC
2002
Springer
13 years 7 months ago
A Programming Approach to the Design of Asynchronous Logic Blocks
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
Mark B. Josephs, Dennis P. Furey
JSS
2007
67views more  JSS 2007»
13 years 7 months ago
Impact and contributions of MBASE on software engineering graduate courses
As the founding Director of the Center for Software Engineering, Professor Barry Boehm developed courses that have greatly impacted the education of software engineering students....
Ricardo Valerdi, Raymond J. Madachy
AC
2004
Springer
13 years 7 months ago
An introduction to agile methods
David Cohen, Mikael Lindvall, Patricia Costa
AC
2004
Springer
13 years 7 months ago
The Timeboxing process model for iterative software development
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...
Pankaj Jalote, Aveejeet Palit, Priya Kurien
AC
2004
Springer
13 years 7 months ago
Cognitive Hacking
In this chapter, we define and propose countermeasures for a category of computer security exploits which we call "cognitive hacking." Cognitive hacking refers to a comp...
George Cybenko, Annarita Giani, Paul Thompson
AC
2004
Springer
13 years 7 months ago
Shotgun Sequence Assembly
Shotgun sequencing is the most widely used technique for determining the DNA sequence of organisms. It involves breaking up the DNA into many small pieces that can be read by auto...
Mihai Pop