Sciweavers

9444 search results - page 1490 / 1889
» The Language Model LMNtal
Sort
View
CSFW
2005
IEEE
16 years 14 days ago
End-to-End Availability Policies and Noninterference
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
Lantian Zheng, Andrew C. Myers
IWPC
2005
IEEE
16 years 12 days ago
Concise and Consistent Naming
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
Florian Deißenböck, Markus Pizka
167
Voted
SEFM
2005
IEEE
16 years 12 days ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
159
Voted
ACMACE
2005
ACM
16 years 12 days ago
Real-time cinematic camera control for interactive narratives
In conventional, visual narrative media such as film, the placement and movement of the camera can be as important a device as the events of the narrative in conveying story and m...
Dan Amerson, Shaun Kime, R. Michael Young
ITICSE
2005
ACM
16 years 12 days ago
From objects-first to design-first with multimedia and intelligent tutoring
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...
Sally H. Moritz, Fang Wei, Shahida M. Parvez, Glen...
« Prev « First page 1490 / 1889 Last » Next »