5268 search results - page 757 / 1054 » Analysis of Design Process Dynamics |
202
click to vote
CASCON
2007
15 years 8 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
277
click to vote
SIGCSE
2006
ACM
16 years 18 days ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
226
click to vote
VSTTE
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
237
click to vote
WORDS
2005
IEEE
16 years 6 days ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...
167
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Ultraconserved elements are nucleotide or protein sequences with 100% identity (no mismatches, insertions, or deletions) in the same organism or between two or more or...