1288 search results - page 135 / 258 » Integrating formal models into the programming languages cou... |
165
Voted
UML
2004
Springer
15 years 11 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
190
click to vote
SSDBM
2000
IEEE
15 years 10 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
163
Voted
ICSE
1998
IEEE-ACM
15 years 10 months ago
1998
IEEE-ACM
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
150
Voted
PLDI
2006
ACM
16 years 3 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
167
click to vote
IJACTAICIT
2010
15 years 3 months ago
2010
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...