2206 search results - page 256 / 442 » Software Engineering and Modeling Education: Problems and So... |
162
click to vote
ARC
2010
Springer
15 years 6 months ago
2010
Springer
: When a logistics system is "self-organizing" it can function without significant intervention by managers, engineers, or software control. The social insects, such as a...
164
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
183
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
202
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In the recent work of Candes et al, the problem of recovering low rank matrix corrupted by i.i.d. sparse outliers is studied and a very elegant solution, principal component pursui...
159
click to vote
CSMR
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper describes our experiences of applying dynamic analysis solutions on an industrial legacy application written in C, with the help of Aspect Orientation (AO). We use a nu...