510 search results - page 20 / 102 » An IDE for software development using tabular expressions |
131
Voted
TMRA
2007
Springer
15 years 10 months ago
2007
Springer
The Dublin Core Metadata Initiative is an open organization engaged in the development of interoperable online metadata standards that support a broad range of purposes and busines...
110
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
126
Voted
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
126
Voted
STTT
2010
14 years 10 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
160
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Microarray techniques are one of the main methods used to investigate thousands of gene expression profiles for enlightening complex biological processes responsible f...