1587 search results - page 220 / 318 » Software Engineering Programmes are not Computer Science Pro... |
128
click to vote
ENTCS
2007
15 years 3 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
330
click to vote
Lab
The Institute's mission is to produce excellent, innovative and nationalistic engineers and to advance the field of electrical and electronics engineering.
The undergr...
129
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
141
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
164
click to vote
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...