7861 search results - page 1248 / 1573 » Orthographic Modeling Environment |
125
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Programmers seek to answer questions as they investigate the functioning of a software system, such as "which execution path is being taken in this case?" Programmers at...
179
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
217
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
186
click to vote
ACISP
2009
Springer
16 years 1 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
181
click to vote
ISMM
2009
Springer
16 years 1 months ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...